Modeling Elevator System With Coloured Petri Nets
نویسندگان
چکیده
A fairly general model of the elevator system is presented. Coloured Petri Nets (CPN) and CPN tools are adopted as modeling tools. The model, which is independent of the number of floors and elevators, covers different stages of the elevator system in substantial detail. The model assists simulation-based analysis of different algorithms and rules which govern real elevator systems. The results prove the compatibility and applicability of this model in various situations and demonstrate the expressive power and convenience
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملTowards Arguing the Cost-effectiveness of Coloured Petri Nets
The contribution of this paper is to propose and justify two general rules that can help to argue the costeffectiveness of use of the formal modelling language Coloured Petri Nets (CPN): (1) Construction of CPN models should be explicitly based on high-quality documentation that software developers already produce; (2) Use of CPN models should be explicitly seen as prototyping. Rule (1) enables...
متن کاملA Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design
In this paper, we first demonstrate how a coloured Petri nets (CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which is structurally and conceptually closer to class diagrams and object-oriented programming languages. The CPN m...
متن کاملColoured Petri Nets with Parallel Composition to Separate Concerns
We define a modeling language based on combining Coloured Petri Nets with Protocol Modeling semantics. This language combines the expressive power of Coloured Petri Nets in describing behavior with the ability provided by Protocol Modeling to compose partial behavioral descriptions. The resultant language can be considered as a domain specific Coloured Petri Net based language for deterministic...
متن کاملPerformance Analysis Using Coloured Petri Nets
This paper provides an overview of improved facilities for performance analysis using coloured Petri nets. Coloured Petri nets is a formal method that is well suited for modeling and analyzing large and complex systems. The paper describes steps that have been taken to make a distinction between modeling the behavior of a system and observing the behavior of a model. Performance-related facilit...
متن کامل